Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
661	The Rotating Discs Argument Defeated J. Butterﬁeld Monday 25 July[removed]Abstract Add to Reading List Source URL: www.trin.cam.ac.uk Language: English - Date: 2005-07-25 13:12:00 Philosophy of time Philosophy Materialism Philosophical logic Temporal parts Perdurantism Intrinsic and extrinsic properties Endurantism Classical mechanics Metaphysics Ontology Physics
662	Classical and Quantum Logic Gates: An Introduction to Quantum Computing Quantum Information Seminar Friday, Sep. 3, 1999 Ashok Muthukrishnan Add to Reading List Source URL: www.optics.rochester.edu Language: English - Date: 2006-07-13 14:22:26 Applied mathematics Toffoli gate Quantum gate Quantum computer Qubit Quantum algorithm Controlled NOT gate XOR gate Negated AND gate Theoretical computer science Quantum information science Logic gates
663	MUltseq: Sequents, Equations, and Beyond? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, [removed] 2 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:39:33 Non-classical logic Logic in computer science Propositional calculus Sequent Intuitionistic logic Many-valued logic Admissible rule Natural deduction Mathematical logic Logic Proof theory
664	Microsoft Word - gst05a08.doc Add to Reading List Source URL: holonomic.net Language: English - Date: 2014-02-16 18:14:21 Reasoning Epistemology Ancient Greek philosophers Non-classical logic Belief Existence Modal logic Reason Socrates Logic Philosophy Knowledge
665	E.V. Flynn On a Theorem of Coleman 1 Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2006-07-08 18:57:37 Analytic number theory Elliptic curve Group theory Symbol Quadratic form Linear temporal logic Classical modular curve Algebra Mathematics Abstract algebra
666	Semantic Penumbra: Concept Similarity in Logic [removed]John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2014-01-08 11:28:11 Propositional calculus Logical consequence Mathematical logic Entailment Paraconsistent logic First-order logic Interpretation Modal logic Relevance logic Logic Philosophical logic Non-classical logic
667	Dialectical Considerations on the Logic of Contradiction: Part I John Woods Department of Philosophy University of British Columbia 1866 Main Mall Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2014-01-08 11:28:26 Non-classical logic Rules of inference Paraconsistent logic Dialetheism Liar paradox Contradiction Trivialism Principle of explosion Law of noncontradiction Logic Philosophical logic Mathematical logic
668	LOGIC & LOGIC & PHILOSOPHY Add to Reading List Source URL: philosophy.csusb.edu Language: English - Date: 2013-10-09 00:03:44 Philosophy of mathematics Non-classical logic Mathematical logic Model theory Modal logic Interpretation Metalogic Outline of logic Algebraic logic Logic Philosophy Philosophical logic
669	Research Statement Jason Reed Research Agenda Motivations Mathematics succeeds when it builds bridges: a result connecting one approach (or one entire field Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:18:21 Non-classical logic Logic in computer science Type theory Dependently typed programming Automated theorem proving Logical framework Frank Pfenning Natural deduction Intuitionistic logic Logic Mathematical logic Mathematics

UPDATE